import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;
import org.apache.commons.collections.buffer.CircularFifoBuffer;
import org.apache.commons.collections.comparators.FixedOrderComparator;
import org.apache.commons.collections.list.CursorableLinkedList;
import org.apache.commons.collections.map.LRUMap;
import org.apache.commons.collections.map.MultiValueMap;
import org.apache.commons.collections.set.ListOrderedSet;
import junit.framework.TestCase;
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import sketch.ounit.OUnit;
import junit.framework.TestCase;
public class MainExpansionTest extends TestCase {
  @sketch.ounit.OUnit public void testrewriteSize0(){
    MultiValueMap map=new MultiValueMap();
    map.put("A","AA");
    this.assertEquals(1,map.totalSize());
    map.remove("A");
    map.put("B","BB");
    this.assertEquals(1,map.totalSize());
    map.remove("B");
    map.put("C","CC");
    this.assertEquals(1,map.totalSize());
    map.remove("C");
    map.put("D","D");
    this.assertEquals(1,map.totalSize());
    map.remove("D");
  }
  @sketch.ounit.OUnit public void testrewriteSize1(){
    MultiValueMap map=new MultiValueMap();
    map.put("A","AA");
    this.assertEquals(1,map.totalSize());
    map.put("B","BB");
    this.assertEquals(2,map.totalSize());
    map.put("C","CC");
    this.assertEquals(3,map.totalSize());
    map.put("D","D");
    this.assertEquals(4,map.totalSize());
  }
  @sketch.ounit.OUnit public void testrewriteSize2(){
    MultiValueMap map=new MultiValueMap();
    map.put("A","AA");
    this.assertEquals(1,map.size());
    map.remove("A");
    map.put("B","BB");
    this.assertEquals(1,map.size());
    map.remove("B");
    map.put("C","CC");
    this.assertEquals(1,map.size());
    map.remove("C");
    map.put("D","D");
    this.assertEquals(1,map.size());
    map.remove("D");
  }
  @sketch.ounit.OUnit public void testrewriteSize3(){
    MultiValueMap map=new MultiValueMap();
    map.put("A","AA");
    this.assertEquals(1,map.size());
    map.put("B","BB");
    this.assertEquals(2,map.size());
    map.put("C","CC");
    this.assertEquals(3,map.size());
    map.put("D","D");
    this.assertEquals(4,map.size());
  }
}
